Some Variations on Alan Day's Algorithm for Calculating Canonical Basis of Implications
نویسنده
چکیده
Two variations of an algorithm by Alan Day for reducing a list of implications regarding redundancy are given, with a new simple justification. All three algorithms have the property that the list can be reduced in place -at no extra memory costthat will be useful for large applications and databases.
منابع مشابه
Tuning Shape Parameter of Radial Basis Functions in Zooming Images using Genetic Algorithm
Image zooming is one of the current issues of image processing where maintaining the quality and structure of the zoomed image is important. To zoom an image, it is necessary that the extra pixels be placed in the data of the image. Adding the data to the image must be consistent with the texture in the image and not to create artificial blocks. In this study, the required pixels are estimated ...
متن کاملThe Canonical Wnt Signaling (Wnt/β-Catenin Pathway): A Potential Target for Cancer Prevention and Therapy
Precise regulation of signal transduction pathways is crucial for normal animal development and for maintaining cellular and tissue homeostasis in adults. The Wnt/Frizzled-mediated signaling includes canonical and non-canonical signal transduction pathways. Upregulation or downregulation of the canonical Wnt-signaling (or the Wnt/β-Catenin signal transduction) leads to a variety of human diseas...
متن کاملReevaluation of the direct method of calculating Fresnel and other linear canonical transforms.
The linear canonical transform may be used to simulate the effect of paraxial optical systems on wave fields. Using a recent definition of the discrete linear canonical transform, phase space diagram analyses of the sampling requirements of the direct method of calculating the Fresnel and other linear canonical transforms are more favorable than previously thought. Thus the direct method of cal...
متن کاملThe method of radial basis functions for the solution of nonlinear Fredholm integral equations system.
In this paper, An effective and simple numerical method is proposed for solving systems of integral equations using radial basis functions (RBFs). We present an algorithm based on interpolation by radial basis functions including multiquadratics (MQs), using Legendre-Gauss-Lobatto nodes and weights. Also a theorem is proved for convergence of the algorithm. Some numerical examples are presented...
متن کاملEvaluation of Water Deficient Stress Tolerance in some Wheat Cultivars and Their Hybrids using Canonical Discriminant Analysis and Genotype by Trait Biplot
Canonical discriminant analysis (CDA) in combination with cluster analysis and genotype by trait (GT) biplot analysis methods were used to assess 9 wheat cultivars having different degrees of tolerance along with 36 F1 hybrids derived from partial diallel crosses, using stress tolerance indices, in two levels (well watered and cessation of irrigation at pollination stage). Cluster analysis clas...
متن کامل